Sukyoung Ryu,: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Analysis of JavaScript Programs

Sun, Kwangwon, Ryu, Sukyoung

Journal:

ACM Computing Surveys

Year:

2017

Language:

english

File:

PDF, 1.41 MB

english, 2017

2

Towards Analysis and Bug Finding of JavaScript Web Applications in the Wild

Ryu, Sukyoung, Park, Jihyeok, Park, Joonyoung

Journal:

Year:

2018

Language:

english

File:

PDF, 1.88 MB

english, 2018

3

Scalable framework for parsing: from Fortress to JavaScript

Journal:

Software: Practice and Experience

Year:

2015

Language:

english

File:

PDF, 1.34 MB

english, 2015

4

Static analysis of JavaScript libraries in a scalable and precise way using loop sensitivity

Park, Changhee, Lee, Hongki, Ryu, Sukyoung

Journal:

Software: Practice and Experience

Year:

2017

Language:

english

File:

PDF, 2.35 MB

english, 2017

5

[IEEE 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Automatic Detection of Visibility Faults by Layout Changes in HTML5 Web Pages

Ryou, Yeonhee, Ryu, Sukyoung

Year:

2018

Language:

english

File:

PDF, 455 KB

english, 2018

6

GPU-Accelerated Framework for Intracoronary Optical Coherence Tomography Imaging at the Push of a Button

Han, Myounghee, Kim, Kyunghun, Jang, Sun-Joo, Cho, Han Saem, Bouma, Brett E., Oh, Wang-Yuhl, Ryu, Sukyoung, Langowski, Jörg

Journal:

Year:

2015

Language:

english

File:

PDF, 2.08 MB

english, 2015

7

Wide dynamic range high-speed three-dimensional quantitative OCT angiography with a hybrid-beam scan

Park, Taejin, Jang, Sun-Joo, Han, Myounghee, Ryu, Sukyoung, Oh, Wang-Yuhl

Journal:

Year:

2018

Language:

english

File:

PDF, 2.21 MB

english, 2018

8

All about activity injection: Threats, semantics, detection, and defense

Hwang, Sungjae, Lee, Sungho, Ryu, Sukyoung

Journal:

Software: Practice and Experience

Year:

2020

Language:

english

File:

PDF, 4.47 MB

english, 2020

9

A cost-effective estimation of uncaught exceptions in Standard ML programs

Kwangkeun Yi, Sukyoung Ryu

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 233 KB

english, 2002

10

Integrating coercion with subtyping and multiple dispatch

J.J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 526 KB

english, 2010

11

[IEEE Comput. Soc Second Asia-Pacific Conference on Quality Software - Hong Kong, China (10-11 Dec. 2001)] Proceedings Second Asia-Pacific Conference on Quality Software - Exception analysis for multithreaded Java programs

Sukyoung Ryu,, Kwangkeun Yi,

Year:

2001

Language:

english

File:

PDF, 638 KB

english, 2001

12

[IEEE Comput. Soc. Press 20th International Computer Software and Applications Conference: COMPSAC '96 - Seoul, South Korea (21-23 Aug. 1996)] Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 - Estimating uncaught exceptions in Standard ML programs from type-based equations

Kwangkeun Yi,, Sukyoung Ryu,, Ki-Hyun Pyun,

Year:

1996

Language:

english

File:

PDF, 521 KB

english, 1996

13

Development nature matters: An empirical study of code clones in JavaScript applications

Cheung, Wai Ting, Ryu, Sukyoung, Kim, Sunghun

Journal:

Empirical Software Engineering

Year:

2016

Language:

english

File:

PDF, 2.43 MB

english, 2016

14

[ACM Press the ACM international conference - Tucson, Arizona, USA (2012.10.19-2012.10.26)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12 - Formal specification of a JavaScript module system

Kang, Seonghoon, Ryu, Sukyoung

Year:

2012

Language:

english

File:

PDF, 642 KB

english, 2012

15

[ACM Press the 9th symposium - Indianapolis, Indiana, USA (2013.10.28-2013.10.28)] Proceedings of the 9th symposium on Dynamic languages - DLS '13 - All about the with statement in JavaScript

Park, Changhee, Lee, Hongki, Ryu, Sukyoung

Year:

2013

Language:

english

File:

PDF, 755 KB

english, 2013

16

Vertically Propagating Kelvin Waves and Tropical Tropopause Variability

Ryu, Jung-Hee, Lee, Sukyoung, Son, Seok-Woo

Journal:

Journal of the Atmospheric Sciences

Year:

2008

Language:

english

File:

PDF, 5.36 MB

english, 2008

17

Effect of Tropical Waves on the Tropical Tropopause Transition Layer Upwelling

Ryu, Jung-Hee, Lee, Sukyoung

Journal:

Journal of the Atmospheric Sciences

Year:

2010

Language:

english

File:

PDF, 2.08 MB

english, 2010

18

[ACM Press the 2007 ACM symposium - Seoul, Korea (2007.03.11-2007.03.15)] Proceedings of the 2007 ACM symposium on Applied computing - SAC '07 - Modular multiple dispatch with multiple inheritance

Allen, Eric, Hallett, J. J., Luchangco, Victor, Ryu, Sukyoung, Steele, Guy L.

Year:

2007

Language:

english

File:

PDF, 176 KB

english, 2007

19

[ACM Press the 2008 ACM symposium - Fortaleza, Ceara, Brazil (2008.03.16-2008.03.20)] Proceedings of the 2008 ACM symposium on Applied computing - SAC '08 - Integrating coercion with subtyping and multiple dispatch

Hallett, J. J., Luchangco, Victor, Ryu, Sukyoung, Steele, Guy L.

Year:

2008

Language:

english

File:

PDF, 103 KB

english, 2008

20

Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance

Allen, Eric, Hilburn, Justin, Kilpatrick, Scott, Luchangco, Victor, Ryu, Sukyoung, Chase, David, Steele, Guy

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 636 KB

english, 2011

21

[ACM Press the 2011 ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11 - Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance

Allen, Eric, Hilburn, Justin, Kilpatrick, Scott, Luchangco, Victor, Ryu, Sukyoung, Chase, David, Steele, Guy

Year:

2011

Language:

english

File:

PDF, 636 KB

english, 2011

22

[ACM Press the 8th ACM SIGPLAN workshop - Philadelphia, Pennsylvania, USA (2012.01.28-2012.01.28)] Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '12 - Exact type parameterization and ThisType support

Na, Hyunik, Ryu, Sukyoung, Choe, Kwangmoo

Year:

2012

Language:

english

File:

PDF, 698 KB

english, 2012

23

[ACM Press the 22nd ACM SIGSOFT International Symposium - Hong Kong, China (2014.11.16-2014.11.21)] Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014 - SAFEWAPI: web API misuse detector for web applications

Bae, SungGyeong, Cho, Hyunghun, Lim, Inho, Ryu, Sukyoung

Year:

2014

Language:

english

File:

PDF, 447 KB

english, 2014

24

[ACM Press the 7th International Conference - Calgary, Alberta, Canada (2009.08.27-2009.08.28)] Proceedings of the 7th International Conference on Principles and Practice of Programming in Java - PPPJ '09 - Parsing Fortress syntax

Year:

2009

Language:

english

File:

PDF, 725 KB

english, 2009

25

[ACM Press the 13th international conference - Lugano, Switzerland (2014.04.22-2014.04.26)] Proceedings of the 13th international conference on Modularity - MODULARITY '14 - JavaScript module system

Cho, Junhee, Ryu, Sukyoung

Year:

2014

Language:

english

File:

PDF, 571 KB

english, 2014

26

[ACM Press the 10th ACM Symposium - Singapore, Republic of Singapore (2015.04.14-2015.03.17)] Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security - ASIA CCS '15 - Bittersweet ADB

Hwang, Sungjae, Lee, Sungho, Kim, Yongdae, Ryu, Sukyoung

Year:

2015

Language:

english

File:

PDF, 678 KB

english, 2015

27

[ACM Press the 2011 ACM Symposium - TaiChung, Taiwan (2011.03.21-2011.03.24)] Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11 - FortressCheck

Kang, Seonghoon, Ryu, Sukyoung

Year:

2011

Language:

english

File:

PDF, 501 KB

english, 2011

28

[IEEE 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lincoln, NE, USA (2015.11.9-2015.11.13)] 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling (T)

Park, Changhee, Won, Sooncheol, Jin, Joonho, Ryu, Sukyoung

Year:

2015

Language:

english

File:

PDF, 492 KB

english, 2015

29

[IEEE 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lincoln, NE, USA (2015.11.9-2015.11.13)] 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T)

Ko, Yoonseok, Lee, Hongki, Dolby, Julian, Ryu, Sukyoung

Year:

2015

Language:

english

File:

PDF, 247 KB

english, 2015

30

ThisType for Object-Oriented Languages

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2016

Language:

english

File:

PDF, 2.12 MB

english, 2016

31

Formal specification of a JavaScript module system

Kang, Seonghoon, Ryu, Sukyoung

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 642 KB

english, 2012

32

[ACM Press the 31st IEEE/ACM International Conference - Singapore, Singapore (2016.09.03-2016.09.07)] Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering - ASE 2016 - HybriDroid: static analysis framework for Android hybrid applications

Lee, Sungho, Dolby, Julian, Ryu, Sukyoung

Year:

2016

Language:

english

File:

PDF, 625 KB

english, 2016

33

[ACM Press the 21st ACM SIGPLAN International Conference - Nara, Japan (2016.09.18-2016.09.24)] Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016 - Journey to find bugs in JavaScript web applications in the wild

Year:

2016

Language:

english

File:

PDF, 97 KB

english, 2016

34

[ACM Press the 38th International Conference - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 38th International Conference on Software Engineering Companion - ICSE '16 - Battles with false positives in static analysis of JavaScript web applications in the wild

Park, Joonyoung, Lim, Inho, Ryu, Sukyoung

Year:

2016

Language:

english

File:

PDF, 372 KB

english, 2016

35

[ACM Press the 12th Symposium - Amsterdam, Netherlands (2016.11.01-2016.11.01)] Proceedings of the 12th Symposium on Dynamic Languages - DLS 2016 - Precise and scalable static analysis of jQuery using a regular expression domain

Park, Changhee, Im, Hyeonseung, Ryu, Sukyoung

Year:

2016

Language:

english

File:

PDF, 349 KB

english, 2016

36

[IEEE 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) - Buenos Aires, Argentina (2017.5.20-2017.5.28)] 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) - Analysis of JavaScript Web Applications Using SAFE 2.0

Park, Jihyeok, Ryou, Yeonhee, Park, Joonyoung, Ryu, Sukyoung

Year:

2017

Language:

english

File:

PDF, 350 KB

english, 2017

37

[ACM Press the 6th ACM SIGPLAN International Workshop - Barcelona, Spain (2017.06.18-2017.06.18)] Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2017 - Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction

Park, Jihyeok, Rival, Xavier, Ryu, Sukyoung

Year:

2017

Language:

english

File:

PDF, 425 KB

english, 2017

38

[IEEE 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Buenos Aires, Argentina (2017.5.27-2017.5.27)] 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Partition-Based Coverage Metrics and Type-Guided Search in Concolic Testing for JavaScript Applications

Bae, Sora, Park, Joonyoung, Ryu, Sukyoung

Year:

2017

Language:

english

File:

PDF, 356 KB

english, 2017

39

[IEEE 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - Urbana, IL (2017.10.30-2017.11.3)] 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) - All about activity injection: Threats, semantics, and detection

Lee, Sungho, Hwang, Sungjae, Ryu, Sukyoung

Year:

2017

Language:

english

File:

PDF, 973 KB

english, 2017

40

A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework

Kim, Se-Won, Rival, Xavier, Ryu, Sukyoung

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2018

Language:

english

File:

PDF, 890 KB

english, 2018

41

Effect of water glass coating of tricalcium phosphate granules on in vivo bone formation

Ryu, Seung Min, Ahn, Myun Whan, Park, Chul Hyun, Lee, Gun Woo, Song, In Hwan, Ahn, Hyo Sae, Kim, Jooseong, Kim, Sukyoung

Journal:

Journal of Biomaterials Applications

Year:

2018

Language:

english

File:

PDF, 1.55 MB

english, 2018

42

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 11275 (16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings) || Factoring Derivation Spaces via Intersection Types

Year:

2018

Language:

english

File:

PDF, 428 KB

english, 2018

43

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 11275 (16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings) || Model Checking Differentially Private Properties

Year:

2018

Language:

english

File:

PDF, 608 KB

english, 2018

44

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 11275 (16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings) || HoIce: An ICE-Based Non-linear Horn Clause Solver

Year:

2018

Language:

english

File:

PDF, 429 KB

english, 2018

45

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 11275 (16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings) || Modular Verification of SPARCv8 Code

Year:

2018

Language:

english

File:

PDF, 1.18 MB

english, 2018

46

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 11275 (16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings) || Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks

Year:

2018

Language:

english

File:

PDF, 496 KB

english, 2018

47

[ACM Press Conference Companion of the 2nd International Conference - Nice, France (2018.04.09-2018.04.12)] Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion - A framework for dynamic inter-device task dispatch with eventual consistency

Park, Jihyeok, Park, Joonyoung, Lee, Yoonkyong, Kim, Chul-Joo, Kim, Byoungoh, Ryu, Sukyoung

Year:

2018

Language:

english

File:

PDF, 1.10 MB

english, 2018

48

[ACM Press the 28th ACM SIGSOFT International Symposium - Beijing, China (2019.07.15-2019.07.19)] Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2019 - Adlib: analyzer for mobile ad platform libraries

Lee, Sungho, Ryu, Sukyoung

Year:

2019

Language:

english

File:

PDF, 1.05 MB

english, 2019

49

[ACM Press Companion of the The Web Conference 2018 - Lyon, France (2018.04.23-2018.04.27)] Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW '18 - Web Programming Chairs' Welcome & Organization

Serrano, Manuel, Ryu, Sukyoung

Year:

2018

Language:

english

File:

PDF, 843 KB

english, 2018

50

[ACM Press the 9th ACM SIGPLAN International Symposium - St. Louis, MO, USA (2018.09.28-2018.09.28)] Proceedings of the 9th ACM SIGPLAN International Symposium on Scala - Scala 2018 - Path dependent types with path-equality

Hong, Jaemin, Park, Jihyeok, Ryu, Sukyoung

Year:

2018

Language:

english

File:

PDF, 619 KB

english, 2018